$\forall$$A$,$B$:es\_realizer\{i:l\}. R{-}sub\{i:l\}($A$; Rplus($A$; $B$))